void do_open(char *pathname, uint64 pid);